Data Flow Testing of Aspects

In this paper, we present a dataow based approa h to testing aspe ts. Our approa h onsiders three levels of testing for aspe ts, i.e., intra-module testing, inter-module testing, and intra-aspe t testing. For an individual module (i.e., a pie e of advi e, an introdu tion, or a method), or a publi module along with other modules it alls in an aspe t, we perform intra-module testing or inter-module testing. For modules that are a essible outside the aspe t and an be invoked in any order by users of the aspe t, we perform intraaspe t testing. Where the intra-module or inter-module testing has the similar meaning as the intra-method or intermethod testing of obje t-oriented software, the intra-aspe t testing is designed to test some spe i features of an aspe t. We also present the aspe t ontrolow graph for an aspe t to ompute def-use pairs of the aspe t and use su h information to support dataow testing on aspe ts.